Граничная точка

$a \in X$ называется **граничной** для $A$, если: $$\forall{O(a)}\mathpunct{:}~~ \begin{cases} O(a) \cap A \neq \varnothing \\ O(a) \cap \overline{A} \neq \varnothing \end{cases}$$ где $\overline{A} = X \setminus A$

$\partial A$ - множество граничных точек